Quantum Mechanical Hamiltonian Models of Turing Machines

نویسنده

  • Paul Benioff
چکیده

Quantum mechanical Hamiltonian models, which represent an aribtrary but finite number of steps of any Turing machine computation, are constructed here on a finite lattice of spin-1/2 systems. Different regions of the lattice correspond to different components of the Turing machine (plus recording system). Successive states of any machine computation are represented in the model by spin configuration states. Both time-independent and time-dependent Hamiltonian models are constructed here. The time-independent models do not dissipate energy or degrade the system state as they evolve. They operate close to the quantum limit in that the total system energy uncertainty/computation speed is close to the limit given by the time-energy uncertainty relation. However, the model evolution is time global and the Hamiltonian is more complex. The time-dependent models do not degrade the system state. Also they are time local and the Hamiltonian is less complex.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Necessary and sufficient conditions for quantum computation

Necessary and sufficient conditions are given for a quantummechanical system to possess a coordinate system with respect to which its behaviour at discrete times is that of a universal digital computer . The form of the diagonal representation for the unitary time evolution operator for quantum universal computers is derived ; aspects of the transformation between the diagonal representation an...

متن کامل

v 1 2 8 A ug 1 99 7 Models of Quantum Turing Machines

Quantum Turing machines are discussed and reviewed in this paper. Most of the paper is concerned with processes defined by a step operator T that is used to construct a Hamiltonian H according to Feynman's prescription. Differences between these models and the models of Deutsch are discussed and reviewed. It is emphasized that the models with H constructed from T include fully quantum mechanica...

متن کامل

Models of Quantum Turing Machines

Quantum Turing machines are discussed and reviewed in this paper. Most of the paper is concerned with processes defined by a step operator T that is used to construct a Hamiltonian H according to Feynman’s prescription. Differences between these models and the models of Deutsch are discussed and reviewed. It is emphasized that the models with H constructed from T include fully quantum mechanica...

متن کامل

Quantum Computation

Traditionally the Turing Machine has been accepted as the universal model of computation. That is to say if a computation can be performed by any deterministic single processor computing machine, then it can be performed by a turing machine with at most a polynomial increase in running time. It has been suggested that traditional Turing Machines cannot efficiently simulate quantum mechanical ef...

متن کامل

Quantum Turing Machines: Local Transition, Preparation, Measurement, and Halting

The Church-Turing thesis 2 states that to be computable is to be computable by a Turing machine and the modern discipline in computational complexity theory states that to be efficiently computable is to be computable by a Turing machine within polynomial steps in the length of the input data. However, Feynman pointed out that a Turing machine cannot simulate a quantum mechanical process effici...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004